semantic correctness meaning in English

语义正确性

In this thesis we also defined the concept of well - formedness as a semantic correctness criteria for conversation policy
本文提供cpdl到cpel的翻译算法，并研究cpdl良构性定义和验证方法。
According to the characteristics of workflow process execution , a kind of reactive activity - centered process meta - model is defined and a kind of graphical notation is provided for it , at the same time , for this meta - model , a kind of dynamic semantics is specified , which represents the runtime behavior of the process and can be expressed as a finite state automata . finally , an example is given to illustrate how to apply it to analyze the semantic correctness of process models
根据过程执行的特点,定义了一种以活动为中心的反应式过程元模型,并为其提供了一种图形表示,同时为此元模型指定了一种体现过程运行时行为的动态语义,该语义可表示为一个有限状态自动机.最后举例说明了如何应用它分析过程模型的语义正确性